Remove bogus extra unmap_domain_page() call in
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 28 Nov 2005 15:17:03 +0000 (16:17 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 28 Nov 2005 15:17:03 +0000 (16:17 +0100)
free_monitor_pagetable().

Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/shadow32.c
xen/arch/x86/shadow_public.c

index 8f0d88c38ca7d46fec51809c52e1b9e63430d927..d6591f586a880569526bfeb58a5d9a3dfa908d3a 100644 (file)
@@ -796,8 +796,6 @@ void free_monitor_pagetable(struct vcpu *v)
         put_shadow_ref(mfn);
     }
 
-    unmap_domain_page(mpl2e);
-
     /*
      * Then free monitor_table.
      */
index fbf6e025c0691603f6a26a7b6cc0d4ac2a47d041..c2f2afd9f3ab81f4323a80f24d6dcbb27bbc74ee 100644 (file)
@@ -390,8 +390,6 @@ void free_monitor_pagetable(struct vcpu *v)
         put_shadow_ref(mfn);
     }
 
-    unmap_domain_page(mpl2e);
-
     /*
      * Then free monitor_table.
      */